<?php /* source_download_count.php -- counts the number of times the source code is presumably downloaded from the site.
	 Not a perfect count, but it does the job alright */

// Thanks to http://green-beast.com/blog/?p=78 for the inspiration

$file = 'source_downloads';     // The output file where we want to store the number of clicks
$data = @file($file);
$data = $data[0];

if($handle = @fopen($file, 'w')){
	$data = intval($data); $data++;
	fwrite($handle, $data);
	fclose($handle);
}
  header('Location: http://tcdb.grinnell.edu/map/source');

?>
